TSTP Solution File: DAT152^1 by Nitpick---2016